Resultaten visas 1 - 10 / 165
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År

CONDITIONAL BELIEFS:FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

Referentgranskad
DOI
10.1017/S1755020318000023
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
The Review of Symbolic Logic2018

A sequent calculus isomorphic to Gentzen's natural deduction

Referentgranskad
DOI
DOI:10.1017/S1755020310000195
von Plato, Jan
The Review of Symbolic Logic2011

The Logic of Conditional Beliefs:Neighbourhood Semantics and Sequent Calculus

Referentgranskad
Negri, Sara; Olivetti, Nicola; Girlando, Marianna; Risch, Vincent
College publications2016

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
Pavlović , Edi; Norbert Gratzl
The Review of Symbolic Logic2019

A sequent calculus for preferential conditional logic based on neighbourhood semantics

Referentgranskad
Negri, Sara; Olivetti, Nicola
Lecture Notes in Computer Science2015

Alternative Axiomatization for Logics of Agency in a G3 Calculus

Referentgranskad
Öppen tillgång
DOI
10.1007/s10699-021-09784-3
Negri, Sara; Pavlovic, Edi
Foundations of Science2023

Multicentric Holomorphic Calculus

Nevanlinna, Olavi
-2010

Pseudodifferential calculus on the 2-sphere

Referentgranskad
Turunen, Ville
Estonian Academy of Sciences. Proceedings. Physics. Mathematics2004

Pseudodifferential calculus on the 2-sphere

Turunen, Ville
-2003

Multicentric calculus and the Riesz projection

Referentgranskad
Öppen tillgång
Apetrei, Diana; Nevanlinna, Olavi
Journal of Numerical Analysis and Approximation Theory2016

CONDITIONAL BELIEFS:FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

Referentgranskad
DOI
10.1017/S1755020318000023
2018

A sequent calculus isomorphic to Gentzen's natural deduction

Referentgranskad
DOI
DOI:10.1017/S1755020310000195
2011

The Logic of Conditional Beliefs:Neighbourhood Semantics and Sequent Calculus

Referentgranskad
2016

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
2019

A sequent calculus for preferential conditional logic based on neighbourhood semantics

Referentgranskad
2015

Alternative Axiomatization for Logics of Agency in a G3 Calculus

Referentgranskad
Öppen tillgång
DOI
10.1007/s10699-021-09784-3
2023

Multicentric Holomorphic Calculus

2010

Pseudodifferential calculus on the 2-sphere

Referentgranskad
2004

Pseudodifferential calculus on the 2-sphere

2003

Multicentric calculus and the Riesz projection

Referentgranskad
Öppen tillgång
2016